configure_file (ObliviousDefs.h.in ObliviousDefs.h)